1. $b$ : $\mathbb{B}$
\\[0ex]$\vdash$  ($b$ $\sim$ tt) $\vee$ ($b$ $\sim$ ff)